Incremental verification of component-based timed systems
نویسندگان
چکیده
منابع مشابه
Incremental verification of component-based timed systems
We are interested in the incremental development, by integration of components, of component-based timed systems, and in particular, in the preservation of their properties during such a development process. We model timed components with timed automata. Their composition is achieved with the classic parallel composition operator for timed automata. The specifications of these timed systems are...
متن کاملSAT-based Verification for Timed Component Connectors
Component-based software construction relies on suitable models underlying components, and in particular the coordinators which orchestrate component behaviour. Verifying correctness and safety of such systems amounts to model checking the underlying system model, where model checking techniques not only need to be correct but—since system sizes increase—also scalable and efficient. In this pap...
متن کاملModeling Timed Component-Based Real-time Systems
Component based middleware helps to facilitate software reuse by separating application-specific concerns into modular components that are shielded from the concerns of other components and from the common concerns addressed by underlying middleware services. In real-time systems, concerns such as invocation rates, execution latencies, deadlines, and concurrency semantics cross-cut multiple com...
متن کاملTimed Orchestration for Component-based Systems
Systems are constructed from component libraries where each of them is commonly parametric for realizing specific properties. Apart from component-level properties, one also need to ensure emerging properties that only arise when gluing components into systems. In this paper, we present a methodology to automatically control a component-based system to achieve desired invariance (safety) and in...
متن کاملIncremental Component-Based Construction and Verification of a Robotic System
Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and must meet safety properties including in particular temporal and real-time constraints. We present a methodology for modeling and analyzing a robotic system using the BIP component framework integrated with an existing framework ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Computer Applications in Technology
سال: 2011
ISSN: 0952-8091,1741-5047
DOI: 10.1504/ijcat.2011.045404